<HTML><HEAD><TITLE>+Expr1 >= +Expr2</TITLE>
</HEAD><BODY>[ <A HREF="index.html">Arithmetic</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>+Expr1 >= +Expr2</H1>
Succeed if the value of Expr1 is greater than or equal to the value of
Expr2.


<DL>
<DT><EM>Expr1</EM></DT>
<DD>An arithmetic expression
</DD>
<DT><EM>Expr2</EM></DT>
<DD>An arithmetic expression
</DD>
</DL>
<H2>Description</H2>
   Both arguments are evaluated and their types adjusted.  Then the
   resulting numbers are compared.  The predicate succeeds if the value of
   Expr1 is greater than or equal to the value of Expr2.  If the system is
   in coroutining mode and the arguments are not ground, this predicate
   delays until the expressions are fully instantiated.
<P>
   The predicate also delays when the comparison involves bounded reals,
   and the compared values overlap such that the result is undecidable.

<P>

<H3>Modes and Determinism</H3><UL>
<LI>>=(+, +) is semidet
</UL>
<H3>Modules</H3>
This predicate is sensitive to its module context (tool predicate, see @/2).
<H3>Fail Conditions</H3>
fails if the value of Expr1 is less than the value of Expr2
<H3>Exceptions</H3>
<DL>
<DT><EM>(4) instantiation fault </EM>
<DD>Expr1 or Expr2 is a variable (non-coroutining mode only).
<DT><EM>(5) type error </EM>
<DD>Expr1 or Expr2 is not an arithmetic expression.
</DL>
<H2>Examples</H2>
<PRE>
   Success:
   5 - 1 &gt;= 6 / 2.
   1 &gt;= sin(pi/2).       % 1 converted to 1.0
   Fail:
   2 + 3 &gt;= 2 * 3.
   Error:
   _ &gt;= 10.              (Error 4)
   "s" &gt;= 10.            (Error 5)



</PRE>
<H2>See Also</H2>
<A HREF="../../lib/suspend/GE-2.html">suspend : >= / 2</A>, <A HREF="../../lib/ic/GE-2.html">ic : >= / 2</A>, <A HREF="../../lib/eplex/GE-2.html">eplex : >= / 2</A>, <A HREF="../../lib/colgen/GE-2.html">colgen : >= / 2</A>, <A HREF="../../kernel/arithmetic/is-2.html">is / 2</A>, <A HREF="../../kernel/arithmetic/ENE-2.html">=:= / 2</A>, <A HREF="../../kernel/arithmetic/ERE-2.html">=\= / 2</A>, <A HREF="../../kernel/arithmetic/L-2.html">< / 2</A>, <A HREF="../../kernel/arithmetic/G-2.html">> / 2</A>, <A HREF="../../kernel/arithmetic/EL-2.html">=< / 2</A>
</BODY></HTML>
